FIADEIRO, J.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Temporal Reasoning over Deontic Specifications

FIADEIRO, J., MAIBAUM, T.

Journal:

Journal of Logic and Computation

Year:

1991

Language:

english

File:

PDF, 1.90 MB

english, 1991

2

Business process management

Schahram Dustdar, José Luiz Fiadeiro, Amit Sheth

Journal:

Data & Knowledge Engineering

Year:

2008

Language:

english

File:

PDF, 132 KB

english, 2008

3

Separating computation, coordination and configuration

L. Andrade, J. L. Fiadeiro, J. Gouveia, G. Koutsoukos

Journal:

Journal of Software: Evolution and Process

Year:

2002

Language:

english

File:

PDF, 217 KB

english, 2002

4

Role-based Architectural Modelling of Socio-Technical Systems

Osama El-Hassan, José Luiz Fiadeiro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 325 KB

english, 2007

5

Electrical conductance: a controversial parameter in the evaluation of emollients in atopic dermatitis

Maria João Ferreira, Teresa Fiadeiro, Marília Silva, António Pinto Soares

Journal:

Skin Research and Technology

Year:

1998

Language:

english

File:

PDF, 327 KB

english, 1998

6

On weighted-mean schemes for the finite-difference approximation to the advection-diffusion equation

MANUEL E. FIADEIRO, GEORGE VERONIS

Journal:

Year:

1977

Language:

english

File:

PDF, 699 KB

english, 1977

7

Kinetics of Dyeing Acrylic Fibres with Cationic Dyes in the Presence of Polyethoxylated Amines

J. Cegarra, P. Puente, J M Fiadeiro

Journal:

Coloration Technology

Year:

1986

Language:

english

File:

PDF, 429 KB

english, 1986

8

[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 4409 || Algebraic Semantics of Service Component Modules

Fiadeiro, José Luiz, Schobbens, Pierre-Yves

Year:

2007

Language:

english

File:

PDF, 410 KB

english, 2007

9

Interactions of ink colourants with chemically modified paper surfaces concerning inkjet print improvement

Sousa, Sónia, Gamelas, José António, de Oliveira Mendes, António, Fiadeiro, Paulo Torrão, Ramos, Ana

Journal:

Materials Chemistry and Physics

Year:

2013

Language:

english

File:

PDF, 703 KB

english, 2013

10

[IEEE 2010 IEEE International Symposium on Multimedia (ISM) - Taichung, Taiwan (2010.12.13-2010.12.15)] 2010 IEEE International Symposium on Multimedia - Iris Recognition: Preliminary Assessment about the Discriminating Capacity of Visible Wavelength Data

Santos, Gil, Bernardo, Marco V., Proenca, Hugo, Fiadeiro, Paulo T.

Year:

2010

Language:

english

File:

PDF, 2.00 MB

english, 2010

11

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 4961 ||

Fiadeiro, José Luiz, Inverardi, Paola

Year:

2008

Language:

english

File:

PDF, 12.48 MB

english, 2008

12

[ACM Press Companion of the 17th annual ACM SIGPLAN conference - Seattle, Washington (2002.11.04-2002.11.08)] Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '02 - Developing and evolving Java applications using coordination contracts

Gouveia, João, Koutsoukos, Georgios, Wermelinger, Michel, Andrade, Luís, Fiadeiro, Jose Luiz

Year:

2002

Language:

english

File:

PDF, 315 KB

english, 2002

13

Mouse decellularised liver scaffold improves human embryonic and induced pluripotent stem cells differentiation into hepatocyte-like cells

Lorvellec, Maëlle, Scottoni, Federico, Crowley, Claire, Fiadeiro, Rebeca, Maghsoudlou, Panagiotis, Pellegata, Alessandro Filippo, Mazzacuva, Francesca, Gjinovci, Asllan, Lyne, Anne-Marie, Zulini, Just

Journal:

Year:

2017

Language:

english

File:

PDF, 74.88 MB

english, 2017

14

Jogo das perguntas: o modo operativo "AND" e o viver juntos sem ideias

Eugenio, Fernanda, Fiadeiro, João

Journal:

Fractal Revista de Psicologia

Year:

2013

File:

PDF, 391 KB

2013

15

Logics for Actor Networks: A two-stage constrained-hybridisation approach

Fiadeiro, José Luiz, Ţuţu, Ionuţ, Lopes, Antónia, Pavlovic, Dusko

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

Language:

english

File:

PDF, 929 KB

english, 2019

16

[IEEE 2019 Eleventh International Conference on Quality of Multimedia Experience (QoMEX) - Berlin, Germany (2019.6.5-2019.6.7)] 2019 Eleventh International Conference on Quality of Multimedia Experience (QoMEX) - Perceptual evaluation of speckle noise reduction techniques for phase shifting holograms

Fonseca, Elsa, Fiadeiro, Paulo, Hajihashemi, Vahid, Bernardo, Marco, Pinheiro, Antonio, Pereira, Manuela

Year:

2019

Language:

english

File:

PDF, 2.22 MB

english, 2019

17

Towards object-oriented conceptual modeling

Cristina Sernadas, José Fiadeiro

Journal:

Data & Knowledge Engineering

Year:

1991

Language:

english

File:

PDF, 1.85 MB

english, 1991

18

Modular construction of logic knowledge bases: An algebraic approach

Cristina Sernadas, José Fiadeiro, Amílcar Sernadas

Journal:

Information Systems

Year:

1990

Language:

english

File:

PDF, 2.63 MB

english, 1990

19

Adding Mobility to Software Architectures

Antónia Lopes, José Luiz Fiadeiro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 229 KB

english, 2004

20

Modelling the GSM Handover Protocol in CommUnity

Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 818 KB

english, 2005

21

From Architectural to Behavioural Specification of Services

Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 590 KB

english, 2009

22

Adding mobility to software architectures

Antónia Lopes, José Luiz Fiadeiro

Journal:

Science of Computer Programming

Year:

2006

Language:

english

File:

PDF, 1.26 MB

english, 2006

23

Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation

Paula Severi, José Fiadeiro, David Ekserdjian

Journal:

Web Semantics: Science, Services and Agents on the World Wide Web

Year:

2011

Language:

english

File:

PDF, 1.20 MB

english, 2011

24

On local modularity and interpolation in entailment systems

Paulo A.S. Veloso, José L. Fiadeiro, Sheila R.M. Veloso

Journal:

Information Processing Letters

Year:

2002

Language:

english

File:

PDF, 112 KB

english, 2002

25

Foreword

José Luiz Fiadeiro, Jan Madey, Andrzej Tarlecki

Journal:

Information Processing Letters

Year:

2003

Language:

english

File:

PDF, 182 KB

english, 2003

26

A graph transformation approach to software architecture reconfiguration

Michel Wermelinger, José Luiz Fiadeiro

Journal:

Science of Computer Programming

Year:

2002

Language:

english

File:

PDF, 276 KB

english, 2002

27

Categorical semantics of parallel program design

JoséLuiz Fiadeiro, Tom Maibaum

Journal:

Science of Computer Programming

Year:

1997

Language:

english

File:

PDF, 1.93 MB

english, 1997

28

Preface

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 31 KB

english, 2002

29

Agility through coordination

Luı́s Filipe Andrade, José Luiz Fiadeiro

Journal:

Information Systems

Year:

2002

Language:

english

File:

PDF, 144 KB

english, 2002

30

A computational tool that supports formal diagnosis of process design

Pedro Ramos, Jose Luiz Fiadeiro

Journal:

Information and Software Technology

Year:

1998

Language:

english

File:

PDF, 397 KB

english, 1998

31

Superposition: Composition vs Refinement of Non-deterministic, Action-Based Systems

Antónia Lopes, José Luiz Fiadeiro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

File:

PDF, 711 KB

2002

32

Burn-induced linear IgA dermatosis

L Girão, T Fiadeiro, Jc Rodrigues

Journal:

Journal of the European Academy of Dermatology and Venereology

Year:

2000

Language:

english

File:

PDF, 354 KB

english, 2000

33

Dermatitis Herpetiformis: Should Direct Immunofluorescence Be the Only Diagnostic Criterion?

Lourdes Sousa, Rui Bajanca, José Cabral, Teresa Fiadeiro

Journal:

Pediatric Dermatology

Year:

2002

Language:

english

File:

PDF, 134 KB

english, 2002

34

Specification and verification of database dynamics

José Fiadeiro, Amílcar Sernadas

Journal:

Acta Informatica

Year:

1988

Language:

english

File:

PDF, 2.02 MB

english, 1988

35

Temporal theories as modularisation units for concurrent system specification

J. Fiadeiro, T. Maibaum

Journal:

Formal Aspects of Computing

Year:

1992

Language:

english

File:

PDF, 2.23 MB

english, 1992

36

Superposition: composition vs refinement of non-deterministic, action-based systems

Antónia Lopes, José Luiz Fiadeiro

Journal:

Formal Aspects of Computing

Year:

2004

Language:

english

File:

PDF, 265 KB

english, 2004

37

Editorial

Journal:

Formal Aspects of Computing

Year:

2010

Language:

english

File:

PDF, 42 KB

english, 2010

38

An abstract model of service discovery and binding

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi

Journal:

Formal Aspects of Computing

Year:

2011

Language:

english

File:

PDF, 1.70 MB

english, 2011

39

Editorial

J. L. Fiadeiro, S. Gnesi, T. Maibaum

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 43 KB

english, 2012

40

Extending UML with coordination contracts

K. Lano, J. L. Fiadeiro

Journal:

Software & Systems Modeling

Year:

2006

Language:

english

File:

PDF, 469 KB

english, 2006

41

Models for the substitution axiom of UNITY logic

Georg Reichwein, JoséLuiz Fiadeiro

Journal:

Information Processing Letters

Year:

1993

Language:

english

File:

PDF, 555 KB

english, 1993

42

The INFOLOG linear tense propositional logic of events and transactions

José Fiadeiro, Amílcar Sernadas

Journal:

Information Systems

Year:

1986

Language:

english

File:

PDF, 2.52 MB

english, 1986

43

Enzymatic removal of plant residues from wool: Application of experimental design techniques for optimization parameters

Isabel C. Gouveia, José M. Fiadeiro, João A. Queiroz

Journal:

Biochemical Engineering Journal

Year:

2008

Language:

english

File:

PDF, 1.96 MB

english, 2008

44

Preface

José Fiadeiro, Jan Rutten

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 107 KB

english, 2006

45

Axillary tumour

A Martins, V Serrão, T Fiadeiro, M P Lopes, F Campos, H Pereira, J C Rodrigues

Journal:

Year:

2008

Language:

english

File:

PDF, 210 KB

english, 2008

46

Congenital Melanosis and Hypertrichosis in a Bilateral Distribution

Maria João Ferreira, Rui Bajanca, Teresa Fiadeiro

Journal:

Pediatric Dermatology

Year:

1998

Language:

english

File:

PDF, 239 KB

english, 1998

47

Dyskeratosis Congenita—Two Siblings with a New Missense Mutation in the DKC1 Gene

JOANA DIAS COELHO, SARA LESTRE, TERESA KAY, MARIA JOÃO PAIVA LOPES, TERESA FIADEIRO, MARGARIDA APETATO

Journal:

Pediatric Dermatology

Year:

2011

Language:

english

File:

PDF, 314 KB

english, 2011

48

Combined Bio-carbonization and Dyeing of Wool: A Possibility Using Cell Wall-Degrading Enzymes and 1:1 Metal–Complex Dyes

I. C. Gouveia, J. M. Fiadeiro, J. A. Queiroz

Journal:

Engineering in Life Sciences

Year:

2008

Language:

english

File:

PDF, 983 KB

english, 2008

49

[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 1589 || Concurrency and Data Types: A Specification Method An Example with LOTOS

Fiadeiro, José Luiz

Year:

1999

Language:

english

File:

PDF, 368 KB

english, 1999

50

Effects of operational conditions on the supercritical solvent impregnation of acetazolamide in Balafilcon A commercial contact lenses

Mara E.M. Braga, Viviana P. Costa, Mário J.T. Pereira, Paulo T. Fiadeiro, Ana Paula A.R. Gomes, Catarina M.M. Duarte, Hermínio C. de Sousa

Journal:

International Journal of Pharmaceutics

Year:

2011

Language:

english

File:

PDF, 1016 KB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски